Formalization , Data Abstraction

نویسندگان

  • Roy Strickland
  • Takehiko Nagakura
چکیده

Shape Grammar introduces the algorithm that stimulates the development of form and its meaning in the design process. Since Shape Grammar provides a way of representing form and its meaning as sets of mathematical terms, which are shapes and the different algebra, Shape Grammar has been anticipated for developing an architect's design idea with a computer-aided system. However, its application has been limited in the theoretical analysis of the historical precedents in architecture. Thus, a study of the practical application of Shape Grammar is needed in order to make creative design, in the actual design process, using a CAD system, possible. Through the experimentation with "making folly," this thesis introduces a model for the application of Shape Grammar to the architectural design process. It presents theoretical foundations, describes the methods of formalization, data abstraction, and communication with Shape Grammar in making designs, and illustrates the process of making folly as the result of this thesis. The approach is derived from the study of the different definitions of architectural form and the observation that architects explore formal ideas by producing sequences of drawings, which are schema(s). This thesis investigates possible methods of formalization and data-abstraction based upon schema(s) in the architectural design. Also, this thesis proposes the framework for a prototype computer system that efficiently supports the communication between different computational tools. This communication is established by encoding the design process as the result of the data abstraction, which is composed of shapes as mathematical means, and formalizing the architect's design knowledge according to certain compositional rules. Then, an experiment with "Folly"1 design is performed, based upon the suggested methods for the application of Shape Grammar. In conclusion, based upon the results of the experimentation, the initial territory, spatial block, and spatial components in the combination between different algebra are proposed as design methods for the application of Shape Grammar in the making of a creative design. Also, existing problems in the making of practical software are introduced. Thesis Supervisor: George Stiny Title: Professor of Architecture 'A costly but useless structure built to satisfy the whim of some eccentric and thought to show his folly (Vidler, A. 1983)

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Formalization & Data Abstraction during Use Case Modeling in Object Oriented Analysis & Design

In object oriented analysis and design, use cases represent the things of value that the system performs for its actors in UML and unified process. Use cases are not functions or features. They allow us to get behavioral abstraction of the system to be. The purpose of the behavioral abstraction is to get to the heart of what a system must do, we must first focus on who (or what)ion is to get to...

متن کامل

A Simple Formalization and Proof for the Mutilated Chess Board

The impossibility of tiling the mutilated chess board has been formalized and verified using Isabelle. The formalization is concise because it is expressed using inductive definitions. The proofs are straightforward except for some lemmas concerning finite cardinalities. This exercise is an object lesson in choosing a good formalization: one at the right level of abstraction.

متن کامل

A Coq Formalization of Finitely Presented Modules

This paper presents a formalization of constructive module theory in the intuitionistic type theory of Coq. We build an abstraction layer on top of matrix encodings, in order to represent finitely presented modules, and obtain clean definitions with short proofs justifying that it forms an abelian category. The goal is to use it as a first step to get certified programs for computing topologica...

متن کامل

A constructive type-theoretical Interpretation of the philosophical Methods of Abstraction and Instantiation

In the philosophical tradition, methodological procedures are often composed rather than simple: classical examples of such structures are the processes of analysis and synthesis and those of abstraction and instantiation. The latter couple is extremely relevant to logical knowledge also in modern formalization, representing the theoretical basis of basic notions such as singular and abstract, ...

متن کامل

A Semantics for Abstraction

The goal of this paper is to propose a model-theoretic formalization of abstraction, where abstraction is modeled as two representations, the ground and the abstract representation, modeling the same phenomenon at different levels of detail. Using the framework of Local Models Semantics, the ground and abstract representations are modeled as two sets of (local) first order models, while the rel...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012